Harlequin
http://www.harlequin.com
Provides symbolic processing, electronic publishing, and custom applications. Programs in C, C++, Dylan_, Lisp, ML, PostScript_, and Prolog.